Новая философская энциклопедия - дедуктивная логика
Связанные словари
Дедуктивная логика
Стремление учесть в рассуждениях специфику познаваемых объектов, фактор роста и накопления знания, неопределенность понятия истинности высказываний, возможность мыслить противоречивые объекты и ситуации привели к построению различных систем т. н. (дедуктивных) неклассических логик: интуиционистской, модальной, многозначной, релевантной, паранепротиворечивой и др. Стали исследоваться логические системы с истинностными провалами и пресыщенными истинностными оценками. При этом широкое применение находятразличные семантические методы, напр., теория моделей, семантика возможных миров (см. Возможных миров семантика), операционная семантика и т. д., а также разнообразные синтаксические методы: аксиоматические исчисления, .натуральный вывод, исчисления секвенций, аналитические таблицы и др. В ряде неклассических систем дедуктивной логики учитываются и прагматические аспекты рассуждений.
В дедуктивной логике исследуются способы не только рассуждений, но и введения понятий (напр., процедуры определения}, а также методы и процедуры поиска доказательств. В последнее время на базе неклассической дедуктивной логики интенсивно развиваются т. н. динамические логики и логики программирования, ориентированные на проблемы компьютерных наук. Кроме того, разрабатываются логики действий, норм, императивов и предпочтений, ориентированные не только на проблемы искусственного интеллекта, но и на применение в области этики и права (см. Деонтическая логика).
Дедуктивная логика едина, а многообразие ее систем определяется тем, что по частям исследуются способы рассуждений, основанные на различных типах высказываний и применяемые в различных контекстах. В разных системах применяются различные формализованные языки, принимаются более или менее сильные абстракции и идеализации, учитываются или не учитываются различные характеристики знания. В дедуктивной логике исследуются также ее взаимоотношения с различными другими (недедуктивными) логическими системами и дается их семантико-эпистемологическое обоснование.
П. И. Быстрое
Вопрос-ответ:
Самые популярные термины
1 | 2285 | |
2 | 1813 | |
3 | 1765 | |
4 | 1758 | |
5 | 1670 | |
6 | 1610 | |
7 | 1523 | |
8 | 1491 | |
9 | 1490 | |
10 | 1470 | |
11 | 1444 | |
12 | 1441 | |
13 | 1420 | |
14 | 1416 | |
15 | 1316 | |
16 | 1289 | |
17 | 1275 | |
18 | 1270 | |
19 | 1262 | |
20 | 1244 |